Termination w.r.t. Q of the following Term Rewriting System could not be shown:
Q restricted rewrite system:
The TRS R consists of the following rules:
c(c(c(a(x, y)))) → b(c(c(c(c(y)))), x)
c(c(b(c(y), 0))) → a(0, c(c(a(y, 0))))
c(c(a(a(y, 0), x))) → c(y)
Q is empty.
↳ QTRS
Q restricted rewrite system:
The TRS R consists of the following rules:
c(c(c(a(x, y)))) → b(c(c(c(c(y)))), x)
c(c(b(c(y), 0))) → a(0, c(c(a(y, 0))))
c(c(a(a(y, 0), x))) → c(y)
Q is empty.